2.12.1 Properties of Binary Operations

English